Müller and Steffen's Documents

Müller and Steffen's Documents

Just Peace

Just Peace
Read more
Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers
Read more
The Queen's Gambit for the Attacking Player (Batsford Chess Library)

The Queen's Gambit for the Attacking Player (Batsford Chess Library)
Read more
True Names

True Names
Read more
Host-Pathogen Interactions: Methods and Protocols (Methods in Molecular Biology)

Host-Pathogen Interactions: Methods and Protocols (Methods in Molecular Biology)
Read more
Grundlagen der Elektrotechnik und Elektronik 1: Gleichstromnetzwerke und ihre Anwendungen, 4. Auflage

Grundlagen der Elektrotechnik und Elektronik 1: Gleichstromnetzwerke und ihre Anwendungen, 4. Auflage
Read more
Linux: Das umfassende Handbuch, 4. Auflage (Ausgabe 2011)

Linux: Das umfassende Handbuch, 4. Auflage (Ausgabe 2011)
Read more
Dahmer's Not Dead

Dahmer's Not Dead
Read more
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
Read more
Microfluidic Technologies for Miniaturized Analysis Systems

Microfluidic Technologies for Miniaturized Analysis Systems
Read more
Tools and Algorithms for the Construction and Analysis of Systems, 2 conf., TACAS '96

Tools and Algorithms for the Construction and Analysis of Systems, 2 conf., TACAS '96
Read more
Rainbows End

Rainbows End
Read more
FrontPage 2002. Professionelle Websites entwickeln GERMAN

FrontPage 2002. Professionelle Websites entwickeln GERMAN
Read more
Praxis der Dialyse

Praxis der Dialyse
Read more
Thiele, pioneer in statistics

Thiele, pioneer in statistics
Read more
KI-96: Advances in Artificial Intelligence: 20th Annual German Conference on Artificial Intelligence Dresden, Germany, September 17 - 19, 1996, ... 20th

KI-96: Advances in Artificial Intelligence: 20th Annual German Conference on Artificial Intelligence Dresden, Germany, September 17 - 19, 1996, ... 20th
Read more
The Barbarian Princess

The Barbarian Princess
Read more
Politikberatung und Lobbying in Brüssel

Politikberatung und Lobbying in Brüssel
Read more
Webapplication Development mit ColdFusion 4.5

Webapplication Development mit ColdFusion 4.5
Read more
Die Herstellung einer offentlichen Hegemonie

Die Herstellung einer offentlichen Hegemonie
Read more
Technological Singularity

Technological Singularity
Read more
Host-Pathogen Interactions. Methods and Protocols

Host-Pathogen Interactions. Methods and Protocols
Read more
The Peace War

The Peace War
Read more
Graphical Models

Graphical Models
Read more
Verification, Model Checking, and Abstract Interpretation, 5 conf., VMCAI 2004

Verification, Model Checking, and Abstract Interpretation, 5 conf., VMCAI 2004
Read more
Praxis der Nephrologie, 3. Auflage

Praxis der Nephrologie, 3. Auflage
Read more
Wielding the Sword While Proclaiming Peace: Views from the LDS Community on Reconciling the Demands of National Security with the Imperatives of Revealed Truth

Wielding the Sword While Proclaiming Peace: Views from the LDS Community on Reconciling the Demands of National Security with the Imperatives of Revealed Truth
Read more
U.S. National Security and Foreign Direct Investment

U.S. National Security and Foreign Direct Investment
Read more
Methods in Enzymology 476 - Guide to Techniques in Mouse Development: Mice, embryos, and cells

Methods in Enzymology 476 - Guide to Techniques in Mouse Development: Mice, embryos, and cells
Read more
Genetic Toxicology: Principles and Methods (Methods in Molecular Biology, 817)

Genetic Toxicology: Principles and Methods (Methods in Molecular Biology, 817)
Read more